🚂 Error Monads

Result Types, Railway Programming, Functional Error Handling, Composability

Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
Introducing: A Go package to reduce err boilerplate
dev.to·1d·
Discuss: DEV
🛡️Error Handling
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing
The pirate-based logic of Rust shared references
ais523.me.uk·23h·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
💫Effect Systems
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·21h·
Discuss: Hacker News
⚡functional programming
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·13h
🧠Semantic Parsing
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·5h·
Discuss: DEV
🛡️Error Handling
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🎭Racket Modules
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·4h·
Discuss: DEV
🏗️Cranelift
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·3h·
Discuss: Hacker News
🏛️Elm Architecture
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·5h
🔧Error Recovery
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🎯Pattern Matching
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News
🐪OCaml
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization